- induction variable expression
- n.归纳变量表达式
English-Chinese dictionary of mining (英汉矿业大词典). 2013.
induction variable expression
Look at other dictionaries:
induction — [ ɛ̃dyksjɔ̃ ] n. f. • XIVe; « suggestion » 1290; lat. inductio 1 ♦ Opération mentale qui consiste à remonter des faits à la loi, de cas donnés (propositions inductrices) le plus souvent singuliers ou spéciaux, à une proposition plus générale. ⇒… … Encyclopédie Universelle
Expression booléenne — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Champ D'induction Magnétique — Champ magnétique Vue d artiste de la magnétosphère terrestre … Wikipédia en Français
Champ d'induction magnétique — Champ magnétique Vue d artiste de la magnétosphère terrestre … Wikipédia en Français
Moteur à induction — Machine asynchrone Machine asynchrone 8 kW La machine asynchrone, connue également sous le terme « anglo saxon » de machine à induction, est une machine électrique à courant alternatif sans connexion entre le stator et le rotor. Les… … Wikipédia en Français
Condensateur variable — Condensateur (électricité) Condensateurs électrochimiques (Electrolytiques aluminium). Le 1er est de 1000 µF pour une tension de service de 35 V (Modèle axial), le 2eme est de 10 µF pour 160 V (Modèle radial) Un condensateur est un composant… … Wikipédia en Français
Compiler optimization — is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the… … Wikipedia
Rippling — [Rippling: Meta Level Guidance for Mathematical Reasoning, Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland,Cambridge University Press, 2005. ISBN 052183449X] refers to a group of meta level heuristics, developed primarily in the… … Wikipedia
Life Sciences — ▪ 2009 Introduction Zoology In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… … Universalium
Strength reduction — is a compiler optimization where a costly operation is replaced with an equivalent, but less expensive operation.Operator strength reduction involves using mathematical identities to replace slow math operations with faster operations. Examples… … Wikipedia
Inline expansion — In computing, inline expansion, or inlining, is a manual or compiler optimization that replaces a function call site with the body of the callee. This optimization may improve time and space usage at runtime, at the possible cost of increasing… … Wikipedia
